docs: set date to SOURCE_DATE_EPOCH if available
authorMaximilian Engelhardt <maxi@daemonizer.de>
Fri, 18 Dec 2020 20:42:35 +0000 (21:42 +0100)
committerMaximilian Engelhardt <maxi@daemonizer.de>
Thu, 23 Mar 2023 19:40:49 +0000 (19:40 +0000)
commitf41509f0e407d4d327f5945802be3c3edc8c33dd
treea069a460e9e6cafb8c7eb50d8fefed054bb96ac1
parent8bb174168c141fc0f92d7917d69e37db55bab681
docs: set date to SOURCE_DATE_EPOCH if available

Use the solution described in [1] to replace the call to the 'date'
command with a version that uses SOURCE_DATE_EPOCH if available. This
is needed for reproducible builds.

[1] https://reproducible-builds.org/docs/source-date-epoch/

Signed-off-by: Maximilian Engelhardt <maxi@daemonizer.de>
[Hans van Kranenburg]
Note: this patch is submitted upstream but not committed yet. We
expect that it gets in. Otherwise, we don't wait and already have it
here because I want to have the reproducible build work completed.

Gbp-Pq: Name 0040-docs-set-date-to-SOURCE_DATE_EPOCH-if-available.patch
docs/Makefile